// This is only used by bare metal targets and is empty otherwise

